Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
431	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
432	Unsupervised word segmentation for Sesotho using Adaptor Grammars Mark Johnson Brown University Mark Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 08:41:11 Computational linguistics Grammar Speech recognition Compiler construction Natural language processing Parsing Morpheme Stochastic context-free grammar Context-free grammar Linguistics Science Formal languages
433	Question Answering in Webclopedia Eduard Hovy, Laurie Gerber, Ulf Hermjakob, Michael Junk, Chin-Yew Lin Information Sciences Institute University of Southern California 4676 Admiralty Way Marina del Rey, CA Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2001-02-20 09:16:45 Computational linguistics Natural language processing Artificial intelligence applications Formal languages Question answering Open domain question answering Parsing Yes and no Bottom-up parsing Information science Science Information retrieval
434	The Scribble Reader An Alternative to S-expressions for Textual Content Eli Barzilay Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:12 Source code Functional languages Lisp programming language Pattern matching Formal languages Here document Racket Scheme Eval Software engineering Computer programming Computing
435	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
436	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
437	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
438	A Dynamical Systems Model for Language Change Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Grammar Compiler construction Applied linguistics Parsing Language acquisition Formal grammar L-system Syntax Poverty of the stimulus Linguistics Formal languages Language
439	Natural Language Generation with Tree Conditional Random Fields Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2010-03-02 01:03:39 Natural language processing Speech recognition Formal languages Compiler construction N-gram Conditional random field Context-free grammar Formal grammar Parsing Computational linguistics Linguistics Science
440	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming

UPDATE